- программа автоматического доказательства
- prover
представить доказательство долга — prove a debt
Русско-английский словарь по информационным технологиям. 2015.
программа автоматического доказательства
Look at other dictionaries:
логика — ЛОГИКА (от греч. logik (logos) слово, разум, рассуждение) наука о правильных (корректных) рассуждениях. Традиционно рассуждение состоит из последовательности предложений, названных посылками, из которых следует единственное предложение,… … Энциклопедия эпистемологии и философии науки
Хронология развития вычислительной техники — Паскалина Блеза Паскаля (1640) … Википедия
INRIA — (фр. Institut national de recherche en informatique et en automatique, государственный институт исследований в информатике и автоматике) национальный исследовательский институт во Франции, работающий в области компьютерных наук, теории … Википедия
Искусственный интеллект (artificial intelligence) — В самом широком смысле И. и. это абстрактная теория челов., животного и машинного познания. Конечная цель ее развития создание единой теория познания. Как теорет. психология. И. и. представляет собой продолжение исследовательской программы,… … Психологическая энциклопедия
схема — 2.59 схема (schema): Описание содержания, структуры и ограничений, используемых для создания и поддержки базы данных. Источник: ГОСТ Р ИСО/МЭК ТО 10032 2007: Эталонная модель управления данными 3.1.17 схема : Документ, на котором показаны в виде… … Словарь-справочник терминов нормативно-технической документации
Лунный заговор — … Википедия
Парадигма — (Paradigm) Определение парадигмы, история возникновения парадигмы Информация об определении парадигмы, история возникновения парадигмы Содержание Содержание История возникновения Частные случаи (лингвистика) Управленческая парадигма Парадигма… … Энциклопедия инвестора
Банкротство — (Bankruptcy) Банкротство это признанная судом неспособность исполнить обязательства по уплате взятых в долг денежных средств Суть банкротства, его признаки и характеристика, законодательство о банкротстве, управление и пути предотвращения… … Энциклопедия инвестора
Управление — 2 Управление Совокупность целенаправленных действий, включающая оценку ситуации и состояние объекта управления Выбор управляющих воздействий и их реализация (ГОСТ 34.003 90). Применительно к персоналу (как объекту управления) под управлением… … Словарь-справочник терминов нормативно-технической документации
Дилинговый центр — (Dealing Center) Дилинговый центр это посредник между трейдером и валютным рынком Форекс Понятие дилингового центра, схема работы дилингового центра, технологии обмана кухни Форекс, способы мошенничества дилинговых центров Содержание >>>>>>>>>>> … Энциклопедия инвестора
ЛОГИКА СИМВОЛИЧЕСКАЯ — ЛОГИКА СИМВОЛИЧЕСКАЯ математическая логика. теоретическая логика область логики, в которой логические выводы исследуются посредством логических исчислений на основе строгого символического языка. Термин “символическая логика” был, по видимому … Философская энциклопедия
